The Einstein–Podolsky–Rosen–Bohm (EPRB) experiment performed with random variable and spatially separated analyzers is a milestone test in the controversy between Objective Local Theories (OLT) and Quantum Mechanics (QM). Only a few OLT are still possible. Some of the surviving OLT (specifically, the so called non-ergodic theories) would be undetectable in the averaged statistical values, but they may leave their trace in the time dynamics. For, while QM predicts random processes, the OLT of this kind predict the existence of regularities that (...) may be revealed as a low dimensional object in the phase space. We perform a numerical analysis of the time-resolved data recorded in that experiment to unveil any hypothetical low dimensional dynamics that may be present. We find no consistent indication of such dynamics except for one data file, the longest of all in the real time. The possible causes of these dynamics are discussed. (shrink)

The 3-valued paraconsistent logic Ciore was developed by Carnielli, Marcos and de Amo under the name LFI2, in the study of inconsistent databases from the point of view of logics of formal inconsistency (LFIs). They also considered a first-order version of Ciore called LFI2*. The logic Ciore enjoys extreme features concerning propagation and retropropagation of the consistency operator: a formula is consistent if and only if some of its subformulas is consistent. In addition, Ciore is algebraizable in the sense of (...) Blok and Pigozzi. On the other hand, the logic LFI2* satisfies a somewhat counter-intuitive property: the universal and the existential quantifier are inter-definable by means of the paraconsistent negation, as it happens in classical first-order logic with respect to the classical negation. This feature seems to be unnatural, given that both quantifiers have the classical meaning in LFI2*, and that this logic does not satisfy the De Morgan laws with respect to its paraconsistent negation. The first goal of the present article is to introduce a first-order version of Ciore (which we call QCiore) preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. The second goal of the article is to adapt to QCiore the partial structures semantics for the first-order paraconsistent logic LPT1 introduced by Coniglio and Silvestrini, which generalizes the semantic notion of quasi-truth considered by Mikeberg, da Costa and Chuaqui. Finally, some important results of classical Model Theory are obtained for this logic, such as Robinson’s joint consistency theorem, amalgamation and interpolation. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order LFIs. (shrink)

Belnap–Dunn’s relevance logic, \(\textsf{BD}\), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. \(\textsf{BD}\) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion \(\textsf{BD2}\) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion (...) of BD called \({\textsf{BD}^\copyright }\), obtained by adding an unary connective \({\copyright }\,\ \) which is a consistency operator (in the sense of the Logics of Formal Inconsistency, _LFI_s). In addition, this operator is the unique one with the following features: it extends to \(\textsf{BD}\) the consistency operator of LFI1, a well-known three-valued _LFI_, still satisfying axiom _ciw_ (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, _LFU_s). Moreover, \({\textsf{BD}^\copyright }\) is maximal w.r.t. LFI1, and it is proved to be equivalent to BD2, up to signature. After presenting a natural Hilbert-style characterization of \({\textsf{BD}^\copyright }\) obtained by means of twist-structures semantics, we propose a first-order version of \({\textsf{BD}^\copyright }\) called \({\textsf{QBD}^\copyright }\), with semantics based on an appropriate notion of four-valued Tarskian-like structures called \(\textbf{4}\) -structures. We show that in \({\textsf{QBD}^\copyright }\), the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for \({\textsf{QBD}^\copyright }\) is presented, proving the corresponding soundness and completeness theorems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.4 (2001) 275-291 [Access article in PDF] The Conceptual Unity of Aristotle's Rhetoric 1 - [PDF] Alan G. Gross and Marcelo Dascal The standard view--that the Rhetoric lacks conceptual unity--has strong and prestigious support, stretching over most of the century. To David Ross in 1923 the unity of the Rhetoric was practical, not theoretical; to misunderstand this fact was to see this work, mistakenly, as (...) "a curious jumble of literary criticism with second-rate logic, ethics, and politics, and jurisprudence, mixed with the cunning of one who knows well how the weaknesses of the human heart are to be played upon" (285). So unaltered has been this view over the years that, in 1995, Jonathan Barnes could turn Ross's metaphor into an argument concerning the Rhetoric's lack of intellectual focus: it presents, not one art, but fragments of three arts, and of three arts that exist quite independently of rhetoric. The sections on logic have the closest connections with dialectic and in part overlap with what Aristotle says in the Topics; the sections on the emotions are linked to the ethical and psychological writings; Book III... shares its subject matter with the Poetics. Rhetoric... is a magpie, thieving a piece of one art and a piece of another, and then botching a nest of its own. (Companion 263-64) To Ross and Barnes, while logos, êthos, and pathos are essential to rhetorical invention, and style and arrangement are essential to rhetorical performance, they have nothing conceptually in common. Insofar as disciplinary identity depends on such conceptual unity, rhetorical studies lack such identity.William Grimaldi offers an alternate view; beneath Ross's jumble, he sees as the work's fundamental unifying principle, the enthymeme, which serves both as a form of argument and as a source for arguments about fact, character, and emotion. On this view, the factual content of a rhetorical argument is structured logically, a structure that is then molded linguistically [End Page 275] by means of êthos and pathos to suit the requirements of the particular case: "The content of... statements, the manner in which propositions will be expressed, the language, and images in casting the statements will be determined by the topical examination of the ethos and pathos of [a] particular speaker-auditor's situation" (Commentary I, 335n). Grimaldi convinced no one that this was the case; as Jakob Wisse has pointed out, Grimaldi's interpretation takes unacceptable hermeneutic liberties (27-28); nothing in the Rhetoric supports his view of the enthymeme as the central organizing principle of the work.Although we agree that Grimaldi was mistaken, we would like to argue that he was correct in seeing inferential processes as the key to the Rhetoric's conceptual unity. We would like to claim, however, that, contrary to Grimaldi's view, each of the three pisteis is inference-based, as is the canon of style. Moreover, the canon of arrangement, while not inference-based for Aristotle, plays a vital role in strengthening the patterns of inference that speakers prefer; in addition, it can be inference-based, as Perleman and Olbrechts-Tyteca have shown. So much conceptual unity seems to us consistent with Aristotle's definition of rhetoric; if such unity exists, it would mean that Aristotle was correct in calling rhetoric a tekhnê, which was, like dialectic or medicine, a unified body of knowledge (1.1.2-1354a1-14)We are not going to argue that the text as we have it is conceptually unified; obviously, no text that contains inconsistent views and serious ambiguities can be unified and there is little doubt that the Rhetoric contains such inconsistencies and ambiguities. With the aid of current scholarship, however, we intend to construct from the text a consistent theory of persuasion with inference as its base. In our construction, we will add nothing to Aristotle. But we will omit some passages--especially, a crucial one in which he seems clearly to spurn emotional and ethical means of persuasion (1.1.3-1354a16-45). We will also prefer some interpretations--especially an... (shrink)

This book symposium comprises a précis of Nuno Venturinha’s Description of Situations: An Essay in Contextualist Epistemology together with four critical commentaries on different aspects of the book by Marcelo Carvalho, João Vergílio Gallerani Cuter, Marcos Silva and Darlei Dall’Agnol, and the author’s replies.

High-level improvising musicians master idiosyncratic gesture vocabularies that allow them to express themselves in unique ways. The full use of such vocabularies is nevertheless challenged when improvisers incorporate electronics in their performances. To control electronic sounds and effects, they typically use commercial interfaces whose physicality is likely to limit their freedom of movement. Based on Jim Black's descriptions of his ideal digital musical instrument, embodied improvisation gestures, and stage performance constraints, we develop the concept of a modular wearable MIDI interface (...) to closely meet the needs of professional improvisers, rather than proposing a new generic instrument that would require substantial practice to adapt improvisational techniques already acquired. Our research draws upon different bodies of knowledge, from theoretical principles on collaboration and embodiment to wearable interface design, in order to create a digital vest called Track It, Zip It that features two innovative on-body sensors. Allowing for sound control, these sensors are seamlessly integrated with Black's improvisational gesture vocabulary. We then detail the design process of three TIZI prototypes structured by the outcomes of a performance test with Black, a public performance by a novice improviser during the 2017 International Guthman Musical Instrument Competition, and measurements of sensor responses. After commenting on the strengths and weaknesses of the final TIZI prototype, we discuss how our interdisciplinary and collective process involving a world-class improviser at the very center of the design process can provide recommendations to designers who wish to create interfaces better adapted to high-level performers. Finally, we present our goals for the future creation of a wireless version of the vest for a female body based on Diana Policarpo's artistic vision. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics between (...) G≤n∼ and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Łukasiewicz logics. (shrink)

The acquisition and evolution of speech production, discourse and communication can be negatively impacted by brain malformations. We describe, for the first time, a case of developmental dynamic dysphasia (DDD) in a right-handed adolescent boy (subject D) with cortical malformations involving language-eloquent regions (inferior frontal gyrus) in both the left and the right hemispheres. Language evaluation revealed a markedly reduced verbal output affecting phonemic and semantic fluency, phrase and sentence generation and verbal communication in everyday life. Auditory comprehension, repetition, naming, (...) reading and spelling were relatively preserved, but executive function was impaired. Multimodal neuroimaging showed a malformed cerebral cortex with atypical configuration and placement of white matter tracts bilaterally and abnormal callosal fibers. Dichotic listening showed right hemisphere dominance for language and functional magnetic resonance imaging (fMRI) additionally revealed dissociated hemispheric language representation with right frontal activation for phonology and bilateral dominance for semantic processing. Moreover, subject D also had congenital mirror movements (CMM), defined as involuntary movements of one side of the body that mirror intentional movements of the other side. Transcranial magnetic stimulation and fMRI during voluntary unimanual (left and right) hand movements showed bilateral motor cortex recruitment and tractography revealed a lack of decussation of bilateral corticospinal tracts. Genetic testing aimed to detect mutations that disrupt the development of commissural tracts correlating with CMM (e.g., Germline DCC mutations) was negative. Overall, our findings suggest that DDD in subject D resulted from the underdevelopment of the left inferior frontal gyrus with limited capacity for plastic reorganization by its homologous counterpart in the right hemisphere. Corpus callosum anomalies probably contributed to hinder interhemispheric connectivity necessary to compensate language and communication deficits after left frontal involvement. (shrink)

Johann Gottlieb Fichte, der wohl abstrakteste Vertreter des deutschen Idealismus, war, trotz seiner poetischen Versuche und seiner Beziehungen zu den Frühromantikern, kein Dichter. Doch vertrat er eine Art des Philosophierens, die, weit entfernt von jeder gelehrten Vielwisserei, zur philosophischen Kunst tendiert. Fichte berührte in seiner Wissenschaftslehre genannten Philosophie eine Qualität des Denkens, die zwar den vielfältigsten Mißverständnissen und Verkennungen verfallen mußte, die ihn aber durch den ihr eigenen schöpferischen Zug in die Nähe Goethes rückte. Er selber sah in Goethe zum (...) einen die »edelste Blüte der Humanität, welche die Natur nur einmal unter dem griechischen Himmel hervorgetrieben hatte, durch ein Wunder im Norden wiederholt«, zum anderen aber auch jemanden, dem sich durch die Kunst der Sinn für eine tiefere, sonst nur der philosophischen Reflexion zugängliche Form des Denkens erschlossen hatte. (shrink)

Johann Gottlieb Fichte, der wohl abstrakteste Vertreter des deutschen Idealismus, war, trotz seiner poetischen Versuche und seiner Beziehungen zu den Frühromantikern, kein Dichter. Doch vertrat er eine Art des Philosophierens, die, weit entfernt von jeder gelehrten Vielwisserei, zur philosophischen Kunst tendiert. Fichte berührte in seiner Wissenschaftslehre genannten Philosophie eine Qualität des Denkens, die zwar den vielfältigsten Mißverständnissen und Verkennungen verfallen mußte, die ihn aber durch den ihr eigenen schöpferischen Zug in die Nähe Goethes rückte. Er selber sah in Goethe zum (...) einen die »edelste Blüte der Humanität, welche die Natur nur einmal unter dem griechischen Himmel hervorgetrieben hatte, durch ein Wunder im Norden wiederholt«, zum anderen aber auch jemanden, dem sich durch die Kunst der Sinn für eine tiefere, sonst nur der philosophischen Reflexion zugängliche Form des Denkens erschlossen hatte. (shrink)

El artículo presenta la “inmanencia práctica” como clave de la ética que G. Deleuze elabora a partir de B. Spinoza y F. Nietzsche. La noción involucra tres tesis que manifiestan la reivindicación incondicional de la inmanencia y la crítica a toda trascendencia: valorización del cuerpo en detrimento de la conciencia; apelación a lo bueno y lo malo, en lugar del bien y el mal; y apología de la alegría e inocencia del devenir. Se sostiene que esta ética naturalista y pluralista (...) se apoya en criterios de valoración ligados a la vida como punto fundamental de apreciación, y se propone la creación de nuevas maneras de ser como medio de enfrentar al sistema del juicio moral sobre el que descansa el nihilismo. (shrink)

RESUMEN El artículo presenta la “inmanencia práctica” como clave de la ética que G. Deleuze elabora a partir de B. Spinoza y F. Nietzsche. La noción involucra tres tesis que manifiestan la reivindicación incondicional de la inmanencia y la crítica a toda trascendencia: valorización del cuerpo en detrimento de la conciencia; apelación a lo bueno y lo malo, en lugar del bien y el mal; y apología de la alegría e inocencia del devenir. Se sostiene que esta ética naturalista y (...) pluralista se apoya en criterios de valoración ligados a la vida como punto fundamental de apreciación, y se propone la creación de nuevas maneras de ser como medio de enfrentar al sistema del juicio moral sobre el que descansa el nihilismo. ABSTRACT The article presents ‘practical immanence’ as the key to the ethics developed by G. Deleuze on the basis of B. Spinoza and F. Nietzsche. This notion involves three theses that show the unconditional vindication of immanence and the critique of all transcendence: affirmation of the body over consciousness; appealing to the good things and the bad things rather than to good and evil; and the defense of the joy and innocence of becoming. The article argues that this naturalistic and pluralistic ethics is grounded in assessment criteria linked to life as the focal point of appreciation, and suggests the creation of new ways of being as a means to tackle the system of moral judgment on which nihilism is based. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

The problem of knowledge evolution has received considerable attention over the years. Mainly, the study of the dynamics of knowledge has been addressed in the area of Belief Revision, a field emerging as the convergence of the efforts in Philosophy, Logic, and more recently Computer Science, where research efforts usually involve “flat” knowledge bases where there is no additional information about the formulas stored in it. Even when this may be a good fit for particular applications, in many real-world scenarios (...) different information items may be attached to formulas. For instance, when the reliability of the source of the piece of information is attached to it as a measure of some quality (e.g., strength) of the piece of information itself, or when some characteristic informs us on the desirability of the item (e.g., the potential benefit that could be obtained from it). If this type of information is available, we can use it to guide how the belief base is to be modified when new information arrives. In this work, we present a novel approach to the contraction of knowledge bases where formulas have values attached that measure some quality linked to those formulas, exploiting it to define their desirability, and uses such desirability to define which formulas need to be removed to solve conflicts. In this context, we introduce a set of properties for contraction operators by extending classic approaches. We also show how the local treatment of minimal conflicts can induce some counter-intuitive contractions, and we present a way to avoid them by considering optimal resolutions of conflicts using the additional information encoded. We show how the proposed formalization captures any contraction that is optimal under a set of features. Finally, we present a refinement based on the identification of related minimal conflicts that performs contraction in optimal ways without looking into the entire knowledge base. The approach is based on the use of the accrual of beliefs where several formulas collaboratively use their respective values to prevail in the resolution of conflicts. (shrink)

Open peer commentary on the article “The Autopoiesis of Social Systems and its Criticisms” by Hugo Cadenas & Marcelo Arnold. Upshot: I discuss two aspects of Cadenas & Arnold’s target article. The first concerns some clarifications of the sociological importance of the concept of autopoiesis and the second the criticisms of this concept and its applications in the social sciences.

The term “Cartesianism” is commonly applied to a wide range of philosophical and scientific doctrines. The question of what constitutes the spirit or essence of Cartesianism – providing a common core for the works of Descartes, Arnauld, Rohault, La Forge, Régis, Spinoza, Le Grand or Malebranche, among others – has elicited a great variety of answers. Without attempting a comprehensive response to the question, I begin by presenting some main presuppositions and goals commonly attributed to Descartes and other Cartesian doctrines (...) – both by their proponents and opponents. A fundamental Cartesian postulate concerns the metaphysical dualism of body and mind. Thoughts (e.g., ideas, volitions and judgments) are regarded by Descartes as modifications of the mind, whereas extension, size, shape, motion or rest are modifications of matter. According to the Cartesian “way of ideas,” the mind is directly acquainted only with its own modifications, and the objects external to the mind are known only through the mediation of ideas. External reality is viewed as given independently of any individual subjective consciousness. Although Descartes was not the first to posit this view, he invested it with a new meaning in his novel conception of the human mind. Within this framework, the Cartesian subject has been viewed mainly as an observer – one who can only represent independent reality rather than constitute it. Some indication of this view may be found in the third part of the.. (shrink)

O manuscrito clandestino Jordanus Brunus redivivus ou Traité des erreurs populaires foi publicado em 1771, não trazendo indicação alguma de sua autoria. Entretanto, a despeito do anonimato da obra, ela tornou-se um dos textos mais famosos dentre a filosofia clandestina do século XVIII, aludindo a um filósofo que foi uma das maiores vítimas da superstição e do fanatismo de sua época: Giordano Bruno. O título do escrito é uma espécie de homenagem ao pensador italiano, mas não há no decorrer da (...) obra uma menção sequer que comprove que o autor anônimo tenha lido uma linha de suas obras, mesmo que seja considerado o elo filosófico de união entre o brunismo da primeira metade do século XVII e o da segunda metade do século XVIII. É em um encadeamento de ideias progressivo no Jordanus Brunus que nos permite encontrar o fio condutor das reflexões do autor: a sua formulação do ateísmo caracteriza-se por sua abordagem não dogmática, dissimulada, preparando o solo para o racionalismo ateu que estaria por vir. O presente artigo limitar-se-á à terceira e quarta partes do manuscrito, nas quais o autor anônimo vai tratar diretamente da questão da existência de deus e fazer diversas objeções às provas de sua existência. (shrink)

An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

A ideia de uma crise do rádio consolidou-se no imaginário coletivo nas últimas décadas, a despeito de não haver ancoragem na realidade. Se muitas rádios tradicionais AM e FM saem do ar, vendidas a igrejas eletrônicas ou novos grupos empresariais, multiplica-se a oferta de conteúdos no contexto de um rádio expandido, que transborda para novas plataformas e é consumido nos mais diversos dispositivos. O rádio vai bem, obrigado, embora algumas emissoras de rádio em ondas hertzianas estejam mal das pernas, lamentando-se (...) da concorrência com serviços on-line e da erosão dos habituais índices de audiência, antes medidos em centenas de milhares de ouvintes por minuto. (shrink)

No mito do Político há elementos da cosmologia, da teologia e da antropologia de Platão. Apresentados em narração mitológica, esses elementos não só não estão em contradição com as perspectivas formuladas em contextos argumentativos, mas ajudam a compreendê-las e interpretálas. Esta comunicação quer mostrar: a) o tempo do mundo na era de Zeus está sob governo de deus; b) o governo de deus não exclui, mas exige a autonomia humana; c) a inserção da ação humana no contexto cósmico é fundamental (...) para o sentido e alcance da autonomia humana; d) a descrição platônica do cosmo é crucial para a compreensão de suas preocupações ético-políticas.In the Statesman myth elements of Platonic cosmology, theology, and anthropology can be found. These elements, although presented in a mythological narrative, are not only not in contradiction with Plato's direct formulations, but also help in the understanding and interpreting of them. This paper aims to show that: a) cosmic time in the age of Zeus is under divine government; b) this divine government does not exclude but requires human autonomy; c) the inclusion of human action in the cosmic context is essential to understanding the meaning and reach of human autonomy; d) Plato's description of the cosmos is crucial to understanding his ethicalpolitical preoccupations. (shrink)

Entrevista com o professor Mauro Rêgo Sá Costa para o dossiê Rádio nas Bordas.

After the question “how could Hobbes write the natural law, if it is nowritten law?” I’ll try to approach the relationship between natural and civil law after the instauration of the commonwealth. In this sense, I’ll pay attention to the hobbesian distinction among “written law” and “written register” of law and a few consequences after this distinction. For example, if, how Hobbes says, the correct interpretation of natural law doesn’t depend on philosophers, but only on the authority of commonwealth, would (...) include itself the legitimation of the formulation of the natural laws? The paradox of the first question seems to be important, however, negligenced from hobbesian critical literature. Its intent is to investigate this negligence into better understanding his philosophical postulate, that includes important points like the “silence of law”, the right of self-defense, foro interno and foro externo, State and government. (shrink)

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)

El abordaje que actualmente se ha intentado revelar acerca de la psicopatología desde el modelo biomédico por disciplinas como la psicología y la psiquiatría, ha delineado formalmente dichas distinciones a la hora de indagar las conductas erráticas y manifestaciones psicoemocionales en el ser humano. La filosofía, por tanto, no ha estado exenta al replantear la manera en que el ser humano es pensado, ya sea en sus márgenes de normatividad como en la alteridad. Immanuel Kant miró -dentro de su importante (...) período filosófico- estos problemas, pero de una manera superficial en un breve ensayo titulado “Ensayo sobre las enfermedades de la cabeza” (1764) donde explora desde su visión el problema de la razón invertida. La propuesta de la presente investigación busca encontrar los alcances de esta propuesta por parte del filósofo de Koninsberg, y la relectura biologicista que plantearon autores como Konrad Lorenz y Franz Wuketits como iniciadores de la Teoría Evolucionista del Conocimiento. (shrink)